リアルタイム・システムのためのCASE(完) ハレルのリアルタイム手法